Programming languages

Results: 18154



#Item
101Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2016-03-31 11:10:54
    102Real time programming : special purpose or general purpose languages G´erard Berry To cite this version: G´erard Berry. Real time programming : special purpose or general purpose languages. [Research Report] RR-1065, I

    Real time programming : special purpose or general purpose languages G´erard Berry To cite this version: G´erard Berry. Real time programming : special purpose or general purpose languages. [Research Report] RR-1065, I

    Add to Reading List

    Source URL: hal.archives-ouvertes.fr

    - Date: 2016-12-19 04:45:05
      103In Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments, ppFirst Steps in Programming: A Rationale for Attention Investment Models Alan F. Blackwell University of Cambridge Comp

      In Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments, ppFirst Steps in Programming: A Rationale for Attention Investment Models Alan F. Blackwell University of Cambridge Comp

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      - Date: 2002-12-10 07:42:49
        1041 [ ] 何謂範疇？ 幾 乎 所 有 的 程 式 語 言（programming languages） 都 有 一 個 最 根 本 的 典

        1 [ ] 何謂範疇？ 幾 乎 所 有 的 程 式 語 言（programming languages） 都 有 一 個 最 根 本 的 典

        Add to Reading List

        Source URL: epaper.gotop.com.tw

        - Date: 2016-10-19 03:58:30
          105Dualities in Programming Languages Martin Hirzel and Priya Nagpurkar IBM Watson Research Center PLDI-FIT 2010

          Dualities in Programming Languages Martin Hirzel and Priya Nagpurkar IBM Watson Research Center PLDI-FIT 2010

          Add to Reading List

          Source URL: csl.stanford.edu

          - Date: 2010-06-09 06:14:39
            106Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

            Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2016-12-19 08:55:21
              107Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference:

              Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference:

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-04-19 13:50:48
                108Concepts in Programming Languages: Exam Rehearsal Oded Padon & Mooly Sagiv Concepts & Techniques

                Concepts in Programming Languages: Exam Rehearsal Oded Padon & Mooly Sagiv Concepts & Techniques

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-06-15 07:51:26
                  109Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl15.html Benefits of formal definitions

                  Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl15.html Benefits of formal definitions

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2015-03-22 13:40:44
                    110Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

                    Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-04-01 08:57:42